xen: arm: implement arch_set_info_guest for 64-bit vcpus
authorIan Campbell <ian.campbell@citrix.com>
Tue, 19 Nov 2013 13:00:16 +0000 (13:00 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 19 Nov 2013 16:41:05 +0000 (16:41 +0000)
commit27ac7f3bab482f860b6191f3bb6848a468987d2c
treef8259d6f6c8641102cc3dd55f019256cef582db6
parentb862f0b018c36c2d375e2edab5b787115822507c
xen: arm: implement arch_set_info_guest for 64-bit vcpus

This all seems too easy...

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Julien Grall <julien.grall@linaro.org>
xen/arch/arm/domain.c